Skip to content

Drop unused pure calls - #1454

Merged
jiribenes merged 2 commits into
mainfrom
jiribenes/drop-unused
Sep 10, 2026
Merged

Drop unused pure calls#1454
jiribenes merged 2 commits into
mainfrom
jiribenes/drop-unused

Conversation

@jiribenes

@jiribenes jiribenes commented Sep 5, 2026

Copy link
Copy Markdown
Contributor

Note that this can make #1450's issue regarding relevant even worse, but we should treat the actual problem.

@jiribenes
jiribenes force-pushed the jiribenes/drop-unused branch from 4b33cd5 to 8d9648d Compare September 10, 2026 14:27
@jiribenes jiribenes removed the blocked Blocked on other issues / PRs label Sep 10, 2026
@jiribenes
jiribenes marked this pull request as ready for review September 10, 2026 14:33
@jiribenes
jiribenes merged commit 561f552 into main Sep 10, 2026
7 checks passed
@jiribenes
jiribenes deleted the jiribenes/drop-unused branch September 10, 2026 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant